definite integral properties